This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects who (...) produce the outwardly correct ‘backward induction answer’ use a different internal reasoning strategy to achieve it. The paper presents a formal language to represent different strategies on a finer-grained level than was possible before. The language and its semantics help to precisely distinguish different cognitive reasoning strategies, that can then be tested on the basis of computational cognitive models and experiments with human subjects. The syntactic framework of the formal system provides a generic way of constructing computational cognitive models of the participants of the Marble Drop game. (shrink)

How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in terms of (...) decisions, response times, and answers to questions. We validate these claims on the basis of an earlier game-theoretic experiment about the turn-taking game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We explore two ways of segregating the participants into reasonable “player types”. The first way is based on latent class analysis, which divides the players into three classes according to their first decisions in the game: Random players, Learners, and Expected players, who make decisions consistent with forward induction. The second way is based on participants’ answers to a question about their opponent, classified according to levels of theory of mind: zero-order, first-order and second-order. It turns out that increasing levels of decisions and theory of mind both correspond to increasing success as measured by monetary awards and increasing decision times. Next, we use the logical language to express different kinds of strategies that people apply when reasoning about their opponent and making decisions in turn-taking games, as well as the ‘reasoning types’ reflected in their behavior. Then, we translate the logical formulas into computational cognitive models in the PRIMs architecture. Finally, we run two of the resulting models, corresponding to the strategy of only being interested in one’s own payoff and to the myopic strategy, in which one can only look ahead to a limited number of nodes. It turns out that the participant data fit to the own-payoff strategy, not the myopic one. The article closes the circle from experiments via logic and cognitive modelling back to predictions about new experiments. (shrink)

This paper focuses on one of the major controversies of collective action, i.e. Shared Agency. The objective of my paper is to explain the relevance of Shared Agency in the Theory of Collective Action where I have dealt with questions like—Is it possible to consider one as an agent or as the same agent when she performs in a shared action? How can we talk of shared agency, even when an action is being performed by different individuals in a group (...) or of a group? Where is the notion of “agency” located in a shared action? Based on the seminal paper, “Shared Intention” by Michael Bratman, my objective here is to present and analyse the notion of shared agency in terms of meshing sub-plans and the impossibility of reducing the agency displayed in a shared action to a mere summation of intentions of individual agents, where the essence of shared agency lies in cooperation. (shrink)

A major requirement for humans is a breathable atmosphere. In microgravity, despite environmental life support systems regulating air exchange, astronauts complain about air quality, with elevated CO2-levels resulting in detrimental health and performance effects. We extend extant accounts of human respiration to include the role of gravity and buoyancy. Using computational fluid dynamics, we demonstrate that the absence of biothermal convection in microgravity reduces airflow around the human body. This impairs gas exchange by creating an environmental breathing deadspace in front (...) of the face, leading to significant CO2-rebreathing, with implications for astronaut health and countermeasures. In 1g, increasing ambient air temperature can also reduce efficient respiratory exchange, resulting in breathing conditions equivalent to those in microgravity, with implications for treating respiratory disease on Earth. (shrink)

Study of Saṅkṣepaśārīraka of Sarvajñātman, condensed version of Śārīrakamīmāṃsābhāṣya of Śaṅkarācārya, work on Advaita Vedanta philosophy.

Comprehensive study on Sankhya philosophy with reference to Jaina and Buddhist philosophy.

There are two important aspects of any democratic decision: aggregation of preferences and deliberation about preferences. They are essential and complementary components of any decision making process. While the well-studied process of aggregation focuses on accumulating individual preferences without discussing their origin [4], deliberation can be seen as a conversation through which individuals justify their preferences, a process that might lead to changes in their opinions as they get influenced by one another. Till now, there has been a lot of (...) work on the ‘aggregation’ aspect (e.g., [12, 14, 6]). However, some recent work has focussed on the deliberation aspect as well [8, 9, 10, 15]. Sometimes, deliberation does not lead to unanimity in preferences, but the discussion can lead to some ‘preference uniformity’ (see how deliberation can help in bypassing social choice theory’s impossibility results in [5]), which might facilitate their eventual aggregation. In addition, the combination of both processes provides a more realistic model for decision making scenarios. In light of this status quo, our focus is on the formal study of achieving such preference uniformities, e.g., single-peaked, single-caved, single-crossing, value-restricted, best-restricted, worst-restricted, medium-restricted, or group-separable profiles. In this short abstract we provide our preliminary ideas towards achieving singlepeakedness of preference profiles via deliberation. In what follows, we define two preference upgrade operators based on [8, 9] and provide a preliminary discussion on how single-peaked preference profiles can be achieved through such operations. We will delve into the details of the logical language in the main paper. (shrink)

On the philosophical concepts of the religion of the Khasis, ethnic people from Meghalaya.

Correspondence between Aurobindo Ghose, 1872-1950 and Dilip Kumar Roy, 1897-1980.

In July 2021, a series of gruesome videos exposed a case of brutal torture perpetrated by a guru or leader of the trans feminine hijra community in eastern India. This guru was allegedly of a Bangladeshi Muslim background, and various community members used the case as an alibi to target hijras of such national and religious origin, sometimes even demanding their expulsion from India. This phenomenon paralleled increasing affiliations between certain sections of trans/hijra communities and the Hindu Right. This article (...) situates this case within the broader rise of queer and trans Hindutva or Hindu nationalism and locates it as indicative of Hindutva’s expansion to its erstwhile ‘elsewheres’: areas outside its traditional strongholds such as eastern India and communities such as hijras who are known for their mixed religious practices and have been historically stigmatised by Hindu society. However, the article also analyses the case to show how hijras and related communities evidence contingently wavering political alliances and complex dynamics of intra-community power and resistance that remain irreducible to typical equations of Hindu right-wing politics. Queer/trans Hindutva might become disrupted by its potential constituents themselves, showing how Hindutva’s ‘elsewheres’ trouble its assimilationist capacities. (shrink)

Contemporary Artificial Intelligence methods, especially their subset-deep learning, are finding their way to successful implementations in the detection and classification of intrusions at the network level. This paper presents an intrusion detection mechanism that leverages Deep AutoEncoder and several Deep Decoders for unsupervised classification. This work incorporates multiple network topology setups for comparative studies. The efficiency of the proposed topologies is validated on two established benchmark datasets: UNSW-NB15 and NetML-2020. The results of their analysis are discussed in terms of classification (...) accuracy, detection rate, false-positive rate, negative predictive value, Matthews correlation coefficient and F1-score. Furthermore, comparing against the state-of-the-art methods used for network intrusion detection is also disclosed. (shrink)

I argue that generic generalizations expressed in language (i.e. ‘generics’) are apt for clinical reasoning. I introduce generics and describe two problems in the use and interpretation of generics: Generics may license inaccurate judgements about the frequency of events or properties within a group (i.e. a problem with the ‘truth-aptness’ of generics) and may facilitate problematic beliefs about social kinds (e.g. prejudice or essentializing). I provide an account of clinical reasoning and describe some features of what I call ‘good’ clinical (...) reasoning. I offer examples of generics in clinical contexts and examine how the two problems with generics (i.e. of truth-aptness and social generics) can harm patients and impair clinical reasoning. However, I ultimately argue that generics are important for good clinical reasoning because they track ‘conspicuous’ features of disease processes (e.g. severe possible outcomes). Further, I argue that prejudicial generics are often irrational to believe. Social generics that are rational to believe need not lead to problematic implicatures about social kinds and can instead facilitate meaningfully articulating societal injustices. I then argue that statistical statements, which are tempting alternatives to generics in clinical reasoning, are no better than generics for good clinical reasoning. (shrink)

I argue that generic generalizations expressed in language (i.e., “generics”) are apt for good clinical reasoning. I begin by introducing what generics are in language and describe two problems in the use and interpretation of generics: Generics can license inaccurate judgements about the frequency of events or properties within a group (i.e., a problem with the “truth-aptness” of generics) and can facilitate problematic beliefs about social kinds (e.g., prejudice or essentializing). I provide an account of clinical reasoning and describe some (...) features of what I call “good” clinical reasoning. I offer examples of generics in clinical contexts and examine how the two problems with generics (i.e., of truth-aptness and social generics) can be harmful to patients and impair clinical reasoning. However, I ultimately argue that generics are important for good clinical reasoning because they track “conspicuous” features of disease processes (e.g., severe possible outcomes). Further, I argue that prejudicial generics are often irrational to believe, and social generics that are rational to believe need not lead to problematic implicatures about social kinds and can, in principle, instead facilitate meaningfully articulating societal injustices. I then argue that statistical statements, which are tempting alternatives to generics in clinical reasoning, are no better than generics for good clinical reasoning, even with respect to the two problems identified in the use of generics. (shrink)

Does there exist any equivalence between the notions of inconsistency and consequence in paraconsistent logics as is present in the classical two valued logic? This is the key issue of this paper. Starting with a language where negation ( ${\neg}$ ) is the only connective, two sets of axioms for consequence and inconsistency of paraconsistent logics are presented. During this study two points have come out. The first one is that the notion of inconsistency of paraconsistent logics turns out to (...) be a formula-dependent notion and the second one is that the characterization (i.e. equivalence) appears to be pertinent to a class of paraconsistent logics which have double negation property. (shrink)

Personal identity include both first-person and third-person identities. The objective of the essay is to demonstrate the primitiveness of first-person identity, or self-identity, by re-examining a few well-known thought experiments that are referred to as ‘borderline cases of personal identity’. The primary goal of the essay is to demonstrate that no borderline case poses a significant challenge to first-person identity. The discussion is divided into three sections. The first section motivates the debate. Additionally, the importance of the first-person identity statement (...) ‘I am I’, which is immune from error through misidentification, is established. In the second section, five well-known thought experiments are evaluated to demonstrate that none of them poses a genuine threat to first-person identity. In the third and final part, some real pathological case studies are analysed to strengthen the main argument. (shrink)

The Sanskrit term dāya is generally understood as inheritance. This study examines an influential inheritance treatise from medieval Bengal, the Dāyabhāga, to explore how dāya conceptually overlaps with gifts, even though in inheritance, the deceased does not physically hand over the inheritance to the heir, a situation which appears remarkably distinct from gift-giving. Recent Euro-American research has explored the overlap between gift and inheritance considering primarily testate situations. However, attention has not been paid to this overlap by Indological scholarship, though (...) abundant work on Hindu inheritance exist. Apart from certain debates regarding etymology of dāya, there has not been much scholarly reflection on the conceptual understanding of dāya, perhaps due to the practical application of Hindu law during its times. This article, through a close textual study of the Dāyabhāga, attempts to fill in a small gap by demonstrating a conceptual overlap between inheritance and gifts, not just in testate, but in intestate situations as well. The study suggests that dāya is, in essence, gift-like, even though there are distinctions between gifts and inheritance. (shrink)

Interpretation of the Mīmāṃsānyāyaprakāśa of Āpadeva, treatise on Mimamsa philosophy.

The appropriate understanding and fast processing of lengthy legal documents are computationally challenging problems. Designing efficient automatic summarization techniques can potentially be the key to deal with such issues. Extractive summarization is one of the most popular approaches for forming summaries out of such lengthy documents, via the process of summary-relevant sentence selection. An efficient application of this approach involves appropriate scoring of sentences, which helps in the identification of more informative and essential sentences from the document. In this work, (...) a novel sentence scoring approach DCESumm is proposed which consists of supervised sentence-level summary relevance prediction, as well as unsupervised clustering-based document-level score enhancement. Experimental results on two legal document summarization datasets, BillSum and Forum of Information Retrieval Evaluation (FIRE), reveal that the proposed approach can achieve significant improvements over the current state-of-the-art approaches. More specifically it achieves ROUGE metric F1-score improvements of (1−6)% and (6−12)% for the BillSum and FIRE test sets respectively. Such impressive summarization results suggest the usefulness of the proposed approach in finding the gist of a lengthy legal document, thereby providing crucial assistance to legal practitioners. (shrink)

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion and we add a new modal variant to that class of logics. We also discuss the relative expressive power of the proposed logic in comparison to the standard (...) modal counterparts. (shrink)

Building upon an ethnographic exploration of the pedagogy and alternative dispute resolution activities of an Islamic feminist movement in India called the Indian Muslim Women’s Movement, this article speaks to the tension between Saba Mahmood’s influential account of religion and gendered agency, and a liberal feminist conception of gender equality. Anthropological explorations of Muslim women’s pious commitments as well as liberal feminist engagements with religion and culture are premised upon a presumed dichotomy between ethical engagements with religion, and a commitment (...) to gender equality. Yet there is little analysis in existing scholarship of how gender equality is constituted by social movements premised on a religious identity, such as Islamic feminist movements. This article moves beyond thinking about gender equality merely as an abstract liberal normative good to explore how the discourse of gender equality is constituted in a movement that brings together everyday ethical commitments inspired by notions of piety and concerted everyday struggles against social and legal inequality. The ethnographic vignettes show how gender equality connotes social and legal equality between men and women premised on their equal spiritual status as God’s creations, their equal pious obligations irrespective of gender and the equal imperative of ethical conduct on both men and women based on Quranic values of compassion and justice. The pursuit of gender equality also entails reinterpretation of social norms in the light of ethical conduct, and an ethical commitment to collective struggle against gender discrimination in state and non-state forums. (shrink)

We discuss a simple logic to describe one of our favourite games from childhood, hide and seek, and show how a simple addition of an equality constant to describe the winning condition of the seeker makes our logic undecidable. There are certain decidable fragments of first-order logic which behave in a similar fashion with respect to such a language extension, and we add a new modal variant to that class. We discuss the relative expressive power of the proposed logic in (...) comparison to the standard modal counterparts. We prove that the model checking problem for the resulting logic is \(\textsf{P}\) -complete. In addition, by exploring the connection with related product logics, we gain more insight towards having a better understanding of the subtleties of the proposed framework. (shrink)

We make a proposal for formalizing simultaneous games at the abstraction level of player’s powers, combining ideas from dynamic logic of sequential games and concurrent dynamic logic. We prove completeness for a new system of ‘concurrent game logic’ CDGL with respect to finite non-determined games. We also show how this system raises new mathematical issues, and throws light on branching quantifiers and independence-friendly evaluation games for first-order logic.

From the literature study, it was observed that there are significantly fewer studies that review ontology- based narrative models. This motivates the current work. A parametric approach was adopted to report the existing ontology-driven models for narrative information. The work considers the narrative and ontology components as parameters. This study hopes to encompass the relevant literature and ontology models together. The work adopts a systematic literature review methodology for an extensive literature selection. The models were selected from the literature using (...) a stratified random sampling technique. The findings illustrate an overview of the narrative models across domains. The study identifies the differences and similarities of knowledge representation in ontology-based narrative information models. This paper will explore the basic concepts and top-level concepts in the models. Besides, this study provides a study of the narrative theories in the context of ongoing research. It also identifies the state-of-the-art literature for ontology-based narrative information. Keywords: ontologies, narrative information, modelling. (shrink)

Sports officials, players, and fans are concerned about overseas player rankings for the IPL auction. These rankings are becoming progressively essential to investors when premium leagues are commercialized. The decision-makers of the Indian Premier League choose cricketers based on their own experience in sports and based on performance statistics on several criteria. This paper presents a scientific way to rank the players. Our research examines and contrasts different multicriteria decision-making algorithms for ranking foreign players under various criteria to assess their (...) performance and efficiency. The paper uses three MCDM algorithms, TOPSIS, TODIM, and NR-TOPSIS, for foreign players ranking in the Indian Premier League. Our analysis is limited to the batsmen and bowlers only. We perform the analysis using Python language, a popular high-level programming language. Finally, we perform a sensitivity analysis to determine the stability of each method when the weights of the criterion or the value of a parameter was changed. Our analysis exhibits the superiority of TODIM over TOPSIS and NR-TOPSIS. (shrink)

The European Union (EU) is known as the strongest advocate of the liberal global order. It is invested in the idea of rule-based international order, which forms part of its core identity. This adherence to the principles of the liberal global order is visible in its support for multilateral institutions and norms; open market and liberal trade regimes; approaches to security; emphasis on human rights; and democratic norms and values. With the growing uncertainty in the global order, the EU's commitment (...) to the above stated norms has become much more crucial than before. The objective of the study is to understand the shifting dynamics of the liberal world order as it was established at the end of the Second World War and how the EU is responding to these changes. (shrink)

There is a great deal of research on the structure of narrative and its mode, and on the narrative positioning and counter positioning of the actor in legal and social contexts. In offender narratives, personal experiences are embedded for observation and analysis of particular realities that contextualize a disposition of the perpetrator being ‘an undergoer’ rather than an ‘effector’ of actions. This is evaluated in the shift from a narrated action to a speaker utterance in prospection and also in anticipation (...) of the criminal act. Using ‘grammatical logic’, it is also possible to demonstrate how the crucial event is not a cause, but an effect of a personal theme that encapsulates pattern of circumstances when the narrative outcome in criminal narrative becomes the product of its discursive practices. This is the ‘story of intentionality’ in crime narratives, characteristically embedded within the 1st the story of crime, the 2nd is the story of investigation [14, 20]. Using techniques from functional grammar and critical stylistics for discourse analysis, I intend to show an effective approach for the search of offender theme that underlies an act of crime. These disciplines provide the analyst with the linguistic material to analyse intersentential cohesion in a chain of semantically linked sentences that explore the ways in which things are ‘made to look’ in the structure and functions of the English language. As a case study, I am using an offender narrative from Tony Parker’s book Life After Life: Interviews with Twelve Murderers showing an effective approach for the search of personal themes underlying the act of crime. Offender theme analyses are also valuable for evaluating the changing nature or development of offender characteristics pre or post crime. (shrink)

The human species’ adaptive advantage is driven by its ability to build new material structures and artefacts. Engineering is the modern manifestation of this building instinct, and its advent has made the construction and use of technologies the central pattern of human life. In parallel, efficiency, the overarching narrative driving technology and related life practices, has pervaded most occupations as a value, forming a cultural backdrop that implicitly guides decisions and behaviour. We examine the process through which this backdrop has (...) developed, and argue that it emerged through the constant presence and use of built artefacts and structures, which function as manifestations of the engineering value of efficiency. The constant presence and use of built structures leads to the slow percolation of their building values into society, forming a cultural narrative that emphasises efficiency. This narrative then feeds back, to further reinforce efficiency-driven engineering processes. This loop creates a runaway building system that is highly resistant to change, even when faced with the prospect of the species going extinct. Any effort towards sustainability can be successful only when this all-pervading – and hence invisible – building loop is made explicit, and compensated for, through a counter-loop where building manifests sustainable engineering values. As a first step in revealing this structure, we characterise the emergence of the efficiency value as a cultural narrative, and analyse its wide-ranging environmental effects. We then present the design principle of ‘Solving for Pattern’ (SfP) as an illustrative contrast case. SfP, first articulated by Wendell Berry, focuses on interconnectedness and flourishing of all species as central design principles. We argue that these ecological principles can be extended to engineering, and can thus support the development of a robust operational-level building movement that manifests value systems oriented towards sustainability. To ground this proposal in actual practice, we outline two case studies of technology design that illustrates SfP. We also discuss three cases that illustrate SfP at a larger scale, and examine how these extend existing design approaches such as systems engineering. We conclude with a proposal to include SfP in engineering education curricula, to facilitate a faster cultural shift towards flourishing, which is required given the limited time window available to move to sustainable building practices. (shrink)

The welfare and protection of human subjects is critical to the integrity of clinical investigation and research. Institutional review boards were thus set up to be impartial reviewers of research protocols in clinical research. Their main role is to stand between the investigator and her human subjects in order to ensure that the welfare of human subjects are protected. While there is much literature on the conflicts of interest faced by investigators and researchers in clinical investigations, an area that is (...) less explored is CIs that may affect members of IRBs during the institutional ethics review of clinical investigations. This article examines the notion of CIs in clinical research and attempts to develop a framework for a clearer and more balanced approach to identifying CIs that may influence members of IRBs and impede their independence. It will also apply the proposed framework to demonstrate how IRBs possess, or at least may appear to possess, forms of financial CIs and non-financial CIs. The proper identification and management of these CIs is critical to preserving the integrity of clinical investigations and achieving the primary aim of human subjects protection. (shrink)

This book introduces the theory of graded consequence and its mathematical formulation. It also compares the notion of graded consequence with other notions of consequence in fuzzy logics, and discusses possible applications of the theory in approximate reasoning and decision-support systems. One of the main points where this book emphasizes on is that GCT maintains the distinction between the three different levels of languages of a logic, namely object language, metalanguage and metametalanguage, and thus avoids the problem of violation of (...) the principle of use and mention; it also shows, gathering evidences from existing fuzzy logics, that the problem of category mistake may arise as a result of not maintaining distinction between levels. (shrink)